1. Runtime Verification
پدیدآورنده : edited by Sarfraz Khurshid, Koushik Sen
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science,Computer software,Logic design,Software engineering,Algorithm Analysis and Problem Complexity,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
